Accurate and reliable prediction of Perfobond Rib Shear Strength Connector is considered as a major issue in the structural engineering sector. Besides, selecting the most significant variables that have a major influence on PRSC in every important step for attaining economic and more accurate predictive models, this study investigates the capacity of deep learning neural network for shear strength prediction of PRSC. The proposed DLNN model is validated against support vector regression, artificial neural network, and M5 tree model. In the (...) second scenario, a comparable AI model hybridized with genetic algorithm as a robust bioinspired optimization approach for optimizing the related predictors for the PRSC is proposed. Hybridizing AI models with GA as a selector tool is an attempt to acquire the best accuracy of predictions with the fewest possible related parameters. In accordance with quantitative analysis, it can be observed that the GA-DLNN models required only 7 input parameters and yielded the best prediction accuracy with highest correlation coefficient and lowest value root mean square error. However, the other comparable models such as GA-M5Tree, GA-ANN, and GA-SVR required 10 input parameters to obtain a relatively acceptable level of accuracy. Employing GA as a feature parameter selection technique improves the precision of almost all hybrid models by optimally removing redundant variables which decrease the efficiency of the model. (shrink)

The research aims to harness spatial interpolation techniques to produce maps with a high level of perceptual accuracy in representing the population data of the study area. This is achieved after exploring the statistical and spatial nature of the databases used, analyzing them, and determining their distribution using a variety of spatial data exploration tools available within the GIS (Geographic Information Systems) environment. These tools contribute to evaluating the characteristics, distribution, and analysis of data, including testing data distribution, identifying its (...) direction, and uncovering its spatial correlations. This highlights the importance of the study and understanding the distribution pattern of the population data in the study area, thereby facilitating the preparation of future that serve spatial organization by building spatial models for the numerical distribution of the data for age groups: young, middle-aged, and elderly, at the level of administrative units of the study area by relying on the inductive approach and the quantitative analysis approach. This is done using Geostatistical Analysis methods within the concept of spatial interpolation in GIS. The research also seeks to predict the population maps for Thi Qar Governorate by comparing spatial interpolation methods, namely Inverse Distance Weighting (IDW) and Simple Kriging (SK). The study concluded, after verifying the accuracy of the results using the Cross-Validation curve, that the Simple Kriging (SK) method is the most accurate model in spatial prediction of population data for representing the data of the young age group in the study area, as it had the lowest Root Mean Square Error (RMSE) of 10.012. It was followed by the Inverse Distance Weighting (IDW) method for representing the data of the elderly age group with an RMSE of 350.48. This indicates that the use of statistical criteria improves the accuracy of spatial interpolation and that the spatial prediction of the population data for the study area using the Simple Kriging (SK) method was more accurate than the Inverse Distance Weighting (IDW) method based on statistical indicators. (shrink)

Signaling through the Wnt/β‐catenin pathway is relayed through three multiprotein complexes: (1) the membrane‐associated signalosome, which includes the activated Wnt receptors, (2) the cytoplasmic destruction complex that regulates turnover of the transcriptional coactivator β‐catenin, and (3) the nuclear enhanceosome that mediates pathway‐specific transcription. Recent discoveries have revealed that Wnt receptor activities are tightly regulated to maintain proper tissue homeostasis and that aberrant receptor upregulation enhances Wnt signaling to drive tumorigenesis, highlighting the importance of signalosome control. These studies have focused on (...) the detailed process by which Wnt ligands engage their coreceptors, LRP5/6 and Frizzled. However, the components that constitute the signalosome and the regulation of their assembly remain undefined. In this review, we discuss Wnt/β‐catenin signalosome composition and the mechanisms that regulate signalosome assembly, including the role of biomolecular condensates and ubiquitylation. We also summarize the evidence for the presence of Wnt ligand‐independent signalosome formation. (shrink)

Diabetes mellitus (DM) is a colossal burden in global health, its prevalence increases steadily throughout the world. This systematic review explores the pathophysiology and epidemiology of diabetes, which describes the interactions that implicate that is the result of the play between genetic, environmental, and lifestyle factors in the development and progression of the disease. The review also describes a plethora of pharmacological treatments available to manage diabetes, with the oral agent, insulin regimens, and new approaches to therapy. Integrating the wisdom (...) of the best clinical guidelines, those are from American diabetes association (ADA), European association for the study of diabetes (EASD), and International Diabetes Federation (IDF). Since these reviews are consistent with normative standards for evidence-based recommendations of optimal care of diabetes. The review goes further to cover technological advances in the management of diabetes. They include Continuous Glucose Monitoring, advanced insulin delivery systems, and Artificial Pancreas Systems. Such technologies hold more promising routes to better glucose control and patient quality of life. All this comes along with challenges that their deployment and maintenance that run through economic, adherence issues, and unequal access to healthcare. The future research and innovation in the battle against DM will include the application of personalized medicine and the development of advanced digital health solutions. This article will become a treasure for health professionals, researchers, and policymakers who have dedicated themselves to battling the adversities of diabetes mellitus. (shrink)

Trolley dilemmas have been used to justify the intuitive appeal of the doctrine of double effect. According to this doctrine, if a good action has a harmful side effect, it is morally acceptable to do it, provided the harmful effect is not intended. However, in some variants of the dilemma, most people are willing to forego this doctrine, thus making responses inconsistent. In this study, 404 university students from the United Arab Emirates (UAE) were presented with 4 versions of the (...) trolley dilemma. Results came out showing that higher levels of depressive symptoms predict greater consistency in adherence (or rejection) to the doctrine of double effect. Likewise, higher levels of depressive symptom predict utilitarian responses to trolley dilemmas. Anxiety symptoms had similar effects, but more moderate. Demographic variables (age, gender) were also assessed as predictors of responses and consistency to trolley scenarios, but no significant effects were found. (shrink)

The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ‘functional possibility’ and ‘functional necessity’ in DL world descriptions and (ii) logically and terminologically annotate DL world descriptions based on functional contingents. The most significant contributions of this research are the logical characterisation (...) and terminological analysis of functional contingents in DL world descriptions. The ultimate goal is to investigate how modal operators can – logically and terminologically – be expressed within DL world descriptions. (shrink)

The professions have focused considerable attention on developing codes of conduct. Despite their efforts there is considerable controversy regarding the propriety of professional codes of ethics. Many provisions of professional codes seem to exacerbate disputes between the profession and the public rather than providing a framework that satisfies the public''s desire for moral behavior.After examining three professional codes, we divide the provisions of professional codes into those provisions which urge professionals to avoid moral hazard, maintain professional courtesy and serve the (...) public interest. We note that whereas provisions urging the avoidance of moral hazard are uncontroversial, the public is suspicious of provisions protecting professional courtesy. Public interest provisions are controversial when the public and the profession disagree as to what is in the public interest. Based on these observations, we conclude with recommendations regarding the content of professional codes. (shrink)

De todas las antiguas potencias coloniales europeas en África, Francia es la única que cree que su prestigio internacional es inseparable de su influencia y presencia en este continente. El resultado es la adopción de una política africana basada en contradicciones y las redes clientelares y opacas a favor de sus intereses y empresas, en contra del desarrollo de los países africanos, y de su falta de preparación para hacer frente a los desafíos de la globalización. Ha multiplicado, en las (...) cinco últimas décadas, en este continente, las intervenciones militares y ha apoyado a las dictaduras afines. Ha llegado la hora de la segunda independencia para los países del África francófona. (shrink)

Authoritative and comprehensive interpretation of the Scottish philosopher's writings on religion.

Islam; doctrines; Islamic ethics; Islamic preaching.

Ce livre montre comment Levinas thématise la rencontre de la pensée juive et de la philosophie grecque. Étant donné que sa philosophie s'intéresse à des thèmes touchant aussi bien la sensibilité du judaïsme que du christianisme, ce livre voudrait reconsidérer les enjeux et les conséquences de la pensée de Levinas dans le dialogue judéo-chrétien d'aujourd'hui.

This article explores a phenomenon found in Berber whereby the extraction of dative arguments (of verbs, nouns and prepositions) gives rise to two occurrences of wh. One is a wh-word located in Spec,C and the other a wh-clitic in the dative form located in C (wh-clitic-doubling). Close examination reveals that the wh-word in Spec,C functions as an operator base-generated in its scope position and the dative wh-clitic in C provides it with a derivational link to the variable in the dative (...) position it binds (wh-Cliticisation). Wh-clitic-doubling and wh-Cliticisation amount to direct evidence for Cliticisation as a derivational interpretive mechanism of Grammar that obviates the need for indexing (Lebeaux 1983, Chomsky 1986, 1995). They also provide evidence for the conclusion in Kayne (1989) that Cliticisation is an instance of Head-Movement, more precisely, feature-based Head-Movement. (shrink)

These have been passed down from generation to generation. This book invites readers of any religion or none to drink from the wellspring of Islamic spirituality and use its wisdom to nourish their own spiritual path.

Tourism is a complex phenomenon in scale and scope. Interrelated with other systems from the local to the global, its impacts and effects transcend borders, making coordination and regulation highly challenging. Global mobilities and neoliberal globalization further complicate enabling just and sustainable tourism. New forms of governance are needed to address global threats like climate change and pandemics. This paper explores Immanuel Kant’s transcendental perspective on “perpetual peace” and traces his evolving cosmopolitanism over a decade of essays. We then turn (...) towards what appears to be a contradictory, immanent posthumanist approach from Gilles Deleuze. Radicalizing Kant using Deleuze leads to a different concept of ‘normativity’, grounded in an ideal of perpetual self-critique and self-creation. Such a critical, affirmative ethic opens possibilities for situated approaches to cosmopolitan rights and global justice, rather than global regulatory structures to coordinate effective and proactive actions. (shrink)

_The Promise of Happiness_ is a provocative cultural critique of the imperative to be happy. It asks what follows when we make our desires and even our own happiness conditional on the happiness of others: “I just want you to be happy”; “I’m happy if you’re happy.” Combining philosophy and feminist cultural studies, Sara Ahmed reveals the affective and moral work performed by the “happiness duty,” the expectation that we will be made happy by taking part in that which (...) is deemed good, and that by being happy ourselves, we will make others happy. Ahmed maintains that happiness is a promise that directs us toward certain life choices and away from others. Happiness is promised to those willing to live their lives in the right way. Ahmed draws on the intellectual history of happiness, from classical accounts of ethics as the good life, through seventeenth-century writings on affect and the passions, eighteenth-century debates on virtue and education, and nineteenth-century utilitarianism. She engages with feminist, antiracist, and queer critics who have shown how happiness is used to justify social oppression, and how challenging oppression causes unhappiness. Reading novels and films including_ Mrs. Dalloway_, _The Well of Loneliness_, _Bend It Like Beckham_, and _Children of Men_, Ahmed considers the plight of the figures who challenge and are challenged by the attribution of happiness to particular objects or social ideals: the feminist killjoy, the unhappy queer, the angry black woman, and the melancholic migrant. Through her readings she raises critical questions about the moral order imposed by the injunction to be happy. (shrink)

This essay focuses on the normative teachings of Islam. Justice, honesty, and public welfare are the pillars of Islamic business ethics. These values have two major roots: (1) belief in and devotion to Allah (God), and (2) the earthly trusteeship that grounds moral accountability. The business values of productivity, hard work, and excellence are encouraged. However, at the heart of various injunctions relating to business transactions are the imperatives of lawfulness, honesty, and fair play. Products or services must be lawful, (...) and produced in lawful ways causing no undue harm to others or to the environment. Competition, distribution, and consumption must be lawful as well. Lawful behavior is enforced by consciousness of Allah, supportive social norms, and government control. Islamic norms may not be uniformly or strictly followed, yet they provide a helpful background to practitioners andresearchers. (shrink)

Introduction: find your way -- Orientations toward objects -- Sexual orientation -- The orient and other others -- Conclusion: disorientation and queer objects.

The primary and secondary sources of Islamic law often assume a binary distinction between ijtihād and taqlīd, ignoring a third level of engagement with the sources, which was conceptualized by some jurists as forming a distinct category. In this article I discuss the evolution of the terms ijtihād, taqlīd, and ittibāʿ, using a conceptual-historical approach. I argue that the use of taqlīd to mean “precedent-following” did not emerge as a technical term until after the time of al-Shāfiʿī. The distinction between (...) precedent-following and verifiable-following did not appear in legal discourse until the time of Aḥmad b. Ḥanbal. I also demonstrate that there were three approaches to these terms in legal discourse after the time of Ibn Ḥanbal, with three groups of jurists defining them in ways that advanced their different visions of law-making. I conclude with a discussion of the debate over the meanings of these terms in the eighteenth and nineteenth centuries. (shrink)

The market relationships are being contested. This can be seen in the increasing number of alternative social experiments in the ‘North’ and the ‘South’ which propose to think out the present market relationships in a different way, in particular in establishing exchange value and in facilitating access to trade. These practical alternatives are supported by trends in academic circles that over the past three decades have opposed neoliberal capitalism and individualism in today's commercialised society. Calling for greater solidarity and social (...) justice in economic relationships, in particular, partisans of social and solidarity economics, identifying with these trends, demand new forms of exchange. The objective of this article is to re-examine these demands. What exactly do the SSE mean by ‘solidarity’ and ‘solidarity-based economy'? We would like to trace the contours of this theoretical and political project and to assess the practicability of the proposed alternative to neoliberal capitalism. (shrink)

Regarding constructivism as a learning philosophy and/or a model of knowing, a person (learner or mentor) based on her/ his preconceptions and on personal knowings could actively participate in an interaction with another person (learner or mentor) in order to construct her/his personal knowledge. In this research I will analyse 'meaning construction' within constructivism. I will focus on a semantic loop that the learner and mentor as intentional participants move through and organise their personal constructed conceptions in order to construct (...) meanings and produce their individual meaningful comprehensions. Subsequently, I will provide a semantic framework for analysing the meaning construction based on personal knowings and personal conceptions within constructivist interactions. This research could propose a new scheme for interpretation based on semantics and on interaction. (shrink)

Description Logics (DLs) are a family of formal knowledge representation formalisms and the most well-known formalisms in semantics-based systems. The central focus of this research is on logical-terminological characterisation/analysis of possibilistic and probabilistic descriptions of events in DLs. Based on a logical characterisation of the concept of `being', this paper conceptualises events within DLs world descriptions. Accordingly, it deals with the concepts of `possibility of events' and `probability of events'. The main goal of this research is to investigate how possible (...) and probable notations can, terminologically and logically, be interpreted and analysed within DLs world descriptions. In other words, the research logically-terminologically investigates how possibilistic and probabilistic descriptions of events can be expressed in DLs. (shrink)

As a type of evidence glass can be very useful contact trace material in a wide range of offences including burglaries and robberies, hit-and-run accidents, murders, assaults, ram-raids, criminal damage and thefts of and from motor vehicles. All of that offer the potential for glass fragments to be transferred from anything made of glass which breaks, to whoever or whatever was responsible. Variation in manufacture of glass allows considerable discrimination even with tiny fragments. In this study, we worked glass classification (...) and testing of artificial neural network model created by the JustNN. The aim of the study is help investigator in identifying the type of glass found in arena of the crime. The Neural Network model was trained and validated using the type of glass dataset. The accuracy of model in predicting the type of glass reached 96.7%. Thus neural network is suitable for predicating type of glasses. (shrink)

I have supposed that we need a formal system to represent and explain humans' conceptions of the world. According to this research, such a formal system is representable based on a Conception Language (CL) that is a terminological knowledge representation formalism. In this research, I will offer a formal ontology for conception representation in terminological systems. Such a CL-based ontology will specify the conceptualization of humans' conceptions as well as of the effects of their conceptions on the world.

Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and solutions, and (...) also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

This article analyzes the unpublished dialogue between James Baldwin and Reinhold Niebuhr where they discussed the role of the Christian church in the wake of six child murders in Birmingham, Alabama on September 15, 1963. On that catastrophic day—one that is impossible to forget—the Ku Klux Klan bombed The Sixteenth Street Baptist Church, and two black boys were subsequently shot and killed. In the wake of that violence, this article will show that for Baldwin, the dynamite that exploded the face (...) of the “alabaster Christ” from the stained-glass window presents an opportunity for not only a new depiction of Jesus in terms of presentation—but more significantly—a brand-new Christology rooted in black liberation. Such a reading provides us with an unusual constructive theological position offered by Baldwin, especially once it is read alongside a public essay written by the Association of Artists for Freedom advocating for Black Christmas. (shrink)

This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception expressions (...) based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

Ceci n’a rien d’un texte référencé, documenté par de multiples citations et connaissances littéraires ou mythologiques accumulées : ce n’est que l’expression de relations humaines, pathétiques ou tragiques dérivant au gré du besoin de l’enfant... à tout prix.Fabriquer une vie, transmettre un peu de soi – en duplication de deux unités – dépasse toutes les..

Taking the Hagar story as the central biblical resource to address the particular plight of Black women—a plight that reckons with patriarchal and White supremacist forces that desire its enclosure—Delores Williams challenges both the traditional understanding of atonement theory which embraces the Cross as salvific and Black liberation theologies’ apocalyptical conceptions of a mighty liberating God. This article seeks to read Delores Williams closely to take seriously her theological development through literature more broadly and her soteriological critiques of the Cross (...) specifically. A rereading of Williams will provide the grounds for continuing the debate of the Cross’s significance within Black theological thought at large. Analyzing Williams’ soteriological critiques will allow me to offer a reading of the Cross that ultimately relies on Williams’ emphatic rejection. Such a rejection of the Cross is necessary for understanding how Black Christianity centers the Cross in order to reject it, as it is intended to be. (shrink)

Have you ever noticed that in watch advertisements the time is usually set at 10:10? The reasons and psychological effects of this default time setting are elusive. In Experiment 1, we hypothesized that watches showing a time setting resembling a smiling face (10:10) would enhance emotional valence and intention to buy compared to a neutral time setting (11:30), whereas a time setting resembling a sad face (8:20) would have the opposite effect. Moreover, we investigated a possible interaction effect with the (...) gender of the participants. In Experiment 2, we directly tested the hypotheses that watches set at 10:10 resemble a smiling face, whereas watches set at 8:20 resemble a sad face. The data of the first experiment reveal that watches set at 10:10 showed a significant positive effect on the emotion of the observer and the intention to buy. However, watches set at 8:20 did not show any effect on the emotion or the intention to buy. Moreover, watches set at 10:10 induced in women significantly stronger ratings of pleasure than in men. The data of the second experiment show that participants consistently perceive high resemblance between watches set at 10:10 and a smiling face as well as high resemblance between watches set at 8:20 and a sad face. This study provides for the first time empirical evidence for the notion that using watches with a time setting resembling a smiling face (like 10:10) can positively affect the emotional response of the observers and their evaluation of a seen watch, even though they are not aware of the fact that the shown time setting is inducing this effect. Practical implications of the observed findings and alternative explanations are discussed. (shrink)

This paper aims at elaborating a very special topic relative to the medieval philosophy; particularly, the question of noetic as was dealt with by a philosopher of the Islamic occident. Although the article is but the first part of the whole work, it still reveals the originality and the innovative tendency brought about this philosopher. What is most essential in Ibn Bajja’s noetic is the absence of intellect in power and the presence of intellect in act, in the design of (...) intellects, in addition the substance of the cogitative faculty is the intermediate spiritual forms. It is here where shows up the most important aspect of his originality; the forms which are closer to the nature of the intelligible, by virtue of the division into two parts: 1. By anteriority with regard to who/what resembles the sensible. 2. By posteriority with regard to who/what resembles the species/the kind. (shrink)

Segmentation of the medical image plays a significant role when it comes to diagnosis using computer aided system. This article focuses on the human corneal endothelium’s health, which is one of the filed research interests, especially in the human cornea. Various pathological environments fasten the extermination of the endothelial cells, which in turn decreases the cell density in an abnormal manner. Dead cells worsen the hexagonal design. The mutilated endothelial cells can no longer revive back and that gives room for (...) neighbouring cells to migrate and expand so that they can fill in the space. The latter results in cell elongation that is unpredictable as well as increase in size and thinning. Cell density and shape are therefore considered major parameters when it comes to explaining the health condition attributed to corneal endothelium. In this study, medical feature extraction was obtained depending on the segmentation of the endothelial cell boundary, and the task of segmentation of such objects especially the thin, transparent, and unclear cell boundary is considered challenging due to the nature of the image capture during endothelium layer examination by ophthalmologists using confocal or specular microscopy. The resulting image suffers from various issues that affect the quality of the image. Low quality is due to non-uniformity of illumination and the presence of a lot of noise and artefacts resulting from high amounts of distortion, and most of these limitations are present because of the nature of the imaging modality. Usually, images contain certain kind of noise and also continuous shadow. Furthermore, the cells are separated by poor border, thereby leading to great difficulty in the segmentation of the images. The irregular shape of cell and also the contrast of such images seem to be low as they possess blurry boundaries with diverse objects existing in addition to the lack of homogeneity. The main aim of the study is to propose and develop a totally automatic, robust, and real-time model for the segmentation of endothelial cells of the human cornea obtained by in vivo microscopy and computation of different clinical features of endothelial cells. To achieve the aim of this study a new scheme of image enhancement was proposed such as the Contrast-Limited Adaptive Histogram Equalisation technique to enhance contrast. After that, a new image denoising technique called Wavelet Transform Filter and Butterworth Bandpass for Segmentation is used. Subsequently, brightness level correction is applied by using the moving average filter and the CLAHE to reduce the effects of the non-uniform image lighting produced as a result of the previous step. The main aim of this article is the segmentation of endothelial cells, which involves precise detection of the endothelial contours. So a new segmentation model was proposed such that the shape of the cells will be extracted, and the contours were highlighted. This stage is followed by clinical feature extraction and uses the features for diagnosis. In this stage, several relevant clinical features such as pleomorphism mean cell perimeter, mean cell density, mean cell area, and polymegathism are extracted. The role of these clinical features is crucial for the early detection of corneal pathologies as well as the evaluation of the health of the corneal endothelium layer. The findings of this study were promising. (shrink)

In this research I will focus on a basis for a formal model based on an alternative kind of logic invented by Hans Götzsche: Occurrence Logic (Occ Log), which is not based on truth values and truth functionality. Also, I have taken into account tense logic developed and elaborated by A. N. Prior. In this article I will provide a conceptual and logical foundation for formal Occurrence Logic based on symbolic logic and will illustrate the most important relations between symbolic (...) logic and Occurrence Logic. There will be a special need to focus on arguments based on symbolic occurrence logic. The interrelationships and dependencies between symbolic logic and Occ Log could be conducive to an approach that can express and analyse ‘the occurrences of the world’s descriptions based on various logical principles at different moments’. Symbolic Occ Log checks the occurrence conditioning and the priority of occurrences by employing occurrence values. I shall conclude that the desired approach could gradually support me in providing a truth-functional independent first-order predicate calculus that could work on semantic analysis of different propositions within world descriptions. (shrink)